Petri Net Based Specification in the Design of Logic Controllers with Exception Handling Mechanism
نویسندگان
چکیده
Hierarchical Petri nets beside UML state machine diagrams, sequentional function charts (SFC) and hierarchical concurrent state machines are common solution for specification of logic controllers. These specification formats provide both concurrency and modeling on multi levels of abstraction (hierarchic approach). But only state machine diagrams supports exceptions handling in direct way. Program model presented in form of state machine diagram may be later transformed into a program in the SFC language or transformed in the Petri Net and implemented in the FPGA structure. Similarity between SFC language and Petri Nets give us lot of tools for analysis such control system. Article presents new approach for exceptions handling in hierarchical Petri nets as formal specification for logic controllers. Proposed method of specification can be used independently or as a part of dual specification (correlated state machine diagram and hierarchical configurable Petri Net). Keywords—Logic controller, dual specification, hierarchical Petri net, UML, state machine diagram.
منابع مشابه
A rule-based evaluation of ladder logic diagram and timed petri nets for programmable logic controllers
This paper describes an evaluation through a case study by measuring a rule-based approach, which proposed for ladder logic diagrams and Petri nets. In the beginning, programmable logic controllers were widely designed by ladder logic diagrams. When complexity and functionality of manufacturing systems increases, developing their software is becoming more difficult. Thus, Petri nets as a high l...
متن کاملException Handling in Logic Controller Design by means of UML Activity Diagrams and Control Interpreted Petri Nets
Modelling of all aspects of logic controller in design phase is very important. The paper presents handling of possible exceptions with usage of two specification techniques – UML activity diagrams and control interpreted Petri nets. Sample control process of transportation of friable goods is a base for further discussion about complexity of exception handling in each technique. Furthermore, t...
متن کاملHierarchical Design of Logic Controllers Using Signal Interpreted Petri Nets
Logic Controllers are often used to control continuous or hybrid processes. In these cases, the connection to the plant is realized by implementing preand postprocessors for the conversion between analog and binary data. Hence, the controller remains purely discrete. However, the preand post-processors can not be included in the controller analysis. To overcome this problem, Signal Interpreted ...
متن کاملA Petri Net based Approach to the Development of correct Logic Controllers Design, Verification, Validation, Evaluation, and Implementation
An overview on the different steps involved in the development of a logic control algorithm from the informal specification to the final implementation on a programmable logic controller (PLC) is given. Based on this overview the steps in the development process are presented in detail. An example is used throughout the paper to illustrate the methods. The approach uses Signal Interpreted Petri...
متن کاملControl Interpreted Petri Nets – Model Checking and Synthesis
The chapter presents a novel approach to formal verification of logic controller programs [2], focusing especially on reconfigurable logic controllers (RLCs). Control Interpreted Petri Nets [8] are used as formal specification of logic controller behavior. The approach proposes to use an abstract rule-based logical model presented at RTL-level. A Control Interpreted Petri Net is written as a lo...
متن کامل